The Journal of the Indian Mathematical Society

R. Sridharan ¹

Affiliations
1 Tata Institute of Fundamental Research, Bombay, IN

Abstract

If A is a nilpotent algebra of finite rank over afield K, the cohomological dimension of A is greater than or equal to 3.

We prove here that the dimension is actually infinite. As a consequence, we deduce that the cohomological dimension of the Grassmann ring on n-letters over a commutative semi-simple ring is infinite. This provides, incidentally, counter-examples to certain questions in Homological Algebra.

Full Text

     

N. S. Gopalakrishnan ¹, N. Ramabhadran ¹, R. Sridharan ¹

Affiliations
1 Tata Institute of Fundamental Research, Bombay, IN

Abstract

In the three first propositions of this note we give sufficient conditions under which the relative left global dimension of a pair (Λ, T), where Λ is a ring and T a subring, is 0 or ∞.

Full Text

     

M. A. Knus ¹, R. Parimala ², R. Sridharan ²

Affiliations
1 Mathematik, ETH-Zentrum, Ramistrasse 74, CH-8092, Zurich, CH
2 School of Mathematics, Tata Institute of Fundamental Research, Bombay-400005, IN

Abstract

Let D be a central division algebra of rank 16 over a field K which represents a 2-torsion element in the Brauer group of K, A classical result of Albert asserts that D splits as a tensor product of quaternion sub-algebras. Further, D admits an involution which is trivial on K. We say that an involution σ on D splits if there exist quaternion subalgebras H₁, of D with involutions σ₁ such that D=H₁⊗H₂ and σ=σ₁⊗σ₂. An involution σ is split if and only if D has σ-invariant quaternion subalgebras. A natural question arises as to when an involution σ on D splits. Examples of rank 16 division algebras with involutions which admit no invariant quaternion subalgebras were constructed in ([2] and [8]). It was proved in ([7], Theorem B, p. 296) that if σ is of even symplectic type and char K≠2, then a splits. One can modify easily the arguments in [7] to include the case char K=2 also in the even symplectic case. In ([5], p. 196) an invariant called pfaffian discriminant was attached to any involution on a central simple algebra of even dimension with values in K*/K*^δ. It was shown in [6], using quadratic form theory and Clifford algebras that if char K≠2 and σ is of orthogonal type on a rank 16 algebra, σ splits if and only if the pfaffian discriminant of σ is trivial. The aim of this paper is to give a criterion for an involution σ on a rank 16 central simple algebra A over a field K to split, without restriction on the characteristic of K. We have included the proofs in the case char K≠2 to make the discussion self-contained.

Full Text